home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Environments / Clean 1.2.4 / IOInterface / timerDevice.dcl < prev    next >
Encoding:
Modula Definition  |  1995-03-10  |  360 b   |  16 lines  |  [TEXT/3PRM]
  1. definition module timerDevice;
  2.  
  3. //    Version 0.8 to 1.0
  4.  
  5.  
  6. import    ioState;
  7.  
  8.  
  9. TimerFunctions    :: DeviceFunctions *s;
  10.  
  11. TimerIO            :: !Event !*s !(IOState *s) -> (!Bool, !*s, !IOState *s);
  12. OpenTimers        :: ![TimerDef s (IOState s)] ![TimerHandle s] !Toolbox
  13.                 -> (![TimerHandle s],!Toolbox);
  14.  
  15. TimerSystemState_TimerHandles :: !(DeviceSystemState s) -> TimerHandles s;
  16.